81. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification

رده :
QA
76
.
L28
Vol
.
1522

82. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

رده :
QA
76
.
L28
Vol
.
3312

83. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits

رده :
QA
76
.
L28
Vol
.
2517

84. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification

رده :
QA
76
.
L28
Vol
.
1954

85. From Multiscale Modeling to Meso-Scienc

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Engineering,Chemical engineering,Computer aided design,Physics,Hydraulic engineering,Electric engineering,Electronic books

رده :
E-BOOK

86. From Multiscale Modeling to Meso-Science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Chemical engineering.,Computer-aided design.,Physics.

87. Functional Verification Coverage Measurement and Analysis

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : aided design. ;-Engineering. ; Computer

88. Generating Hardware Assertion Checkers

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

89. Generating hardware assertion checkers

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer

90. Geometric design tolerancing

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)

موضوع : Tolerance (Engineering),Engineering drawings- Dimensioning

رده :
TS
,
172
,.
G46
,
1998

91. Handbook of hybrid systems control :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Control theory.,Hybrid systems.,System theory.,Control theory.,Hybrid systems.,Hybrides System,Hybrides System.,Kontrolltheorie,Kontrolltheorie.,SCIENCE-- Chaotic Behavior in Systems.,System theory.

رده :
Q295
.
H3546
2009eb

92. Hardware/Software Co-Design

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Computer science.,Computer-aided design.,Software engineering.

93. Hardware-Software Co-Design of Embedded Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.

94. Index Modulation for 5G Wireless Communications

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : ، Computer communication systems,، Electrical engineering,، Engineering

رده :
TK
5103
.
2
.
W68
2017

95. Information and decision sciences :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Machine learning, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Machine learning.

رده :
Q334

96. Intelligent systems design and applications :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Expert systems (Computer science), Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- General.,Expert systems (Computer science)

رده :
QA76
.
76
.
E95

97. Interconnect Aging-Physics to Software

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

98. Introduction to formal hardware verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification

رده :
TK
7874
.
75
.
K76
1999

99. Languages, design methods, and tools for electronic system design :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.

رده :
TK7867

100. Logic synthesis and verification /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic circuits-- Computer-aided design,Logic design-- Data processing

رده :
TK7868
.
L6
L586
2002